(tty_read_avail_input): Use terminal->name as liveness status.

diff --git a/src/keyboard.c b/src/keyboard.c
index f0f2f8c897f4f8707580492cdf825e16506a1c65..1a09436557e3028d69eb211b8d4b41c1a5c9b700 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -7093,7 +7093,7 @@ tty_read_avail_input (struct terminal *terminal,
   struct tty_display_info *tty = terminal->display_info.tty;
   int nread = 0;
 
-  if (terminal->deleted)        /* Don't read from a deleted terminal. */
+  if (!terminal->name)         /* Don't read from a dead terminal. */
     return;
 
   if (terminal->type != output_termcap)